$\forall$$p$, $q$:$\mathbb{B}$. ($p$ $\Rightarrow_{b}$ $q$) $\in$ $\mathbb{B}$